package ru.ifmo.hmm;

import java.io.*;
import java.util.*;

public class Main2 {
	public static void main(String[] args) throws IOException {
		Locale.setDefault(Locale.US);
		Scanner in = new Scanner(new File("input.txt"));
		int k = in.nextInt();
		int n = in.nextInt();
		int[] d = new int[k];
		for (int i = 0; i < k; i++) {
			d[i] = in.nextInt() - 1;
		}
		Util.mostProbableModel(d, n, 1e-9);
		System.out.println("OK");
	}
}